Development of embedded systems – from RTCP-net model to Ada code
نویسنده
چکیده
The paper describes some aspects of the development of control embedded systems concerned with the transformation from a formal RTCP-net model into Ada 2005 source code. RTCP-nets have been defined, among other things, to equip coloured Petri nets with capability of direct modelling of elements typical for concurrent programming in Ada, such as task priorities, timeouts, etc. Hence, it is possible to define an algorithm for a semi-automatic transformation from a model into an implementation. Especially, the possibility is concerned with systems implemented in accordance with Ada Ravenscar Profile that limits the set of acceptable language constructions.
منابع مشابه
Integrated Approach to Modelling and Analysis using RTCP-nets
RTCP-nets are a subclass of coloured Petri nets formed in order to support specification, design, validation, and verification of embedded systems. The advantages of the nets are directly visible in rapid modelling of the so-called rule-based control systems that are widely applied. A method of embedded systems’ modelling based on RTCP-nets has been presented in the paper. The formalism is supp...
متن کاملMDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry
The paper discusses some practical examples of how Model Driven Architecture (MDA) technology is being applied to some vital issues in the development of avionics systems. A study primarily aimed at addressing the issue of Software Method and Tool obsolescence was conducted by a number of BAE Systems’ sites and York University. It investigated model transformation from legacy Teamwork1 models t...
متن کاملThe Ada-AI interface
In this paper we investigate the interactions between artificial intelligence and Ada. The Ada language has been mandated for use in all U.S. Department of Defense mission critical embedded systems. Artificial intelligence has become an important ingredient in such systems. Currently, LISP is the language of choice among DoD AI implementors, and its continued use may retard the expected widespr...
متن کاملBuilding Modern Distributed Systems
Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Annex of the Reference Manual is very limited and does not take in account advanced needs such as fault tolerance, code migration or persistent distributed storage. This article describes how we have extended the basic model withou...
متن کاملMapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters
The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. A regular software development project is often influenced by non-functional factors such as the customers' expectations about the performance and reliability of the software as well as the reduction of underlying risks. The evaluation of non-functional paramet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006